|
|
1.
|
INTRODUCTION TO COMBINATORY LOGIC
by Hindley, J. R | Seldin, J. P. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 170.Publisher: London Cambridge University Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H586] (1).
|
|
|
2.
|
COMPUTABILITY AND LOGIC
by Boolos, George | Jeferey, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 262.Publisher: London Cambridge University Press 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.5 B644] (1).
|
|
|
3.
|
Formal methods in artificial intelligence
by Ramsay, Allan. Material type: Book Description: ix, 279p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R149f] (1).
|
|
|
4.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
|
5.
|
The mathematics of logic
by Kaye, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 204p.Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K182m] (1).
|
|
|
6.
|
Logical dynamics of information and interaction
by Benthem, Johan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 373p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B445l] (1).
|
|
|
7.
|
Graph structure and monadic second-order logic
: a language-theoretic approach
by Courcelle, Bruno | Engelfriet, Joost. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 728p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C833g] (1).
|
|
|
8.
|
Elements of logical reasoning
by Plato, Jan Von. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 264p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P697e] (1).
|
|
|
9.
|
Systems of logic
by Martin, Norman M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 318p.Publisher: Cambridge Cambridge University Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M364s] (1).
|
|
|
10.
|
Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
by Coecke, Bob | Kissinger, Aleks. Description: xvii, 827p.Publisher: Cambridge Cambridge University Press 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 C65p] (1).
|
|
|
11.
|
An introduction to non-classical logic [2nd ed.]
: from If to Is
by Priest, Graham. Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1).
|
